A wide-spectrum language for verification of programs on weak memory models

Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. Previous work on the semantics of weak memory models has focussed on the behaviour of assembler-level programs. In this paper we utilise that work to extract some general principles underlying instruction reordering, and apply those principles to a wide-spectrum language encompassing abstract data types as well as low-level assembler code. The goal is to support reasoning about implementations of data structures for modern processors with respect to an abstract specification. Specifically, we define an operational semantics, from which we derive some properties of program refinement, and encode the semantics in the rewriting engine Maude as a model-checking tool. The tool is used to validate the semantics against the behaviour of a set of litmus tests (small assembler programs) run on hardware, and also to model check implementations of data structures from the literature against their abstract specifications

Rapid Microbiological Testing: Monitoring the Development of Bacterial Stress

The ability to respond to adverse environments effectively along with the ability to reproduce are sine qua non conditions for all sustainable cellular forms of life. Given the availability of an appropriate sensing modality, the ubiquity and immediacy of the stress response could form the basis for a new approach for rapid biological testing. We have found that measuring the dielectric permittivity of a cellular suspension, an easily measurable electronic property, is an effective way to monitor the response of bacterial cells to adverse conditions continuously. The dielectric permittivity of susceptible and resistant strains of Escherichia coli and Staphylococcus aureus, treated with gentamicin and vancomycin, were measured directly using differential impedance sensing methods and expressed as the Normalized Impedance Response (NIR). These same strains were also heat-shocked and chemically stressed with Triton X-100 or H2O2. The NIR profiles obtained for antibiotic-treated susceptible organisms showed a strong and continuous decrease in value. In addition, the intensity of the NIR value decrease for susceptible cells varied in proportion to the amount of antibiotic added. Qualitatively similar profiles were found for the chemically treated and heat-shocked bacteria. In contrast, antibiotic-resistant cells showed no change in the NIR values in the presence of the drug to which it is resistant. The data presented here show that changes in the dielectric permittivity of a cell suspension are directly correlated with the development of a stress response as well as bacterial recovery from stressful conditions. The availability of a practical sensing modality capable of monitoring changes in the dielectric properties of stressed cells could have wide applications in areas ranging from the detection of bacterial infections in clinical specimens to antibiotic susceptibility testing and drug discovery

Effects of the Template Composition and Coating on the Photoluminescence Properties of ZnS:Mn Nanoparticles

Mn-doped ZnS nanocrystals based on low dopant concentrations (0–2%) and coated with a shell of Zn(OH)2 have been prepared via soft template and precipitation reaction. The results indicate that the ZnS:Mn nanocrystal is cubic zinc blende structure and its diameter is 3.02 nm as demonstrated by XRD. Measured by TEM, the morphology of nanocrystals is a spherical shape, and their particle size (3–5 nm) is similar to that of XRD results. Photoluminescence spectra under ultraviolet region shows that the volume ratio of alcohol to water in the template has a great effect on the luminescence properties of ZnS:Mn particles. Compared with unpassivated ZnS:Mn nanocrystals, ZnS:Mn/Zn(OH)2 core/shell nanocrystal exhibits much improved luminescence and higher absolute quantum efficiency. Meanwhile, we simply explore the formation mechanism of ZnS:Mn nanocrystals in alcohol and water system and analyze the reason why alcohol and water cluster structures can affect the luminescent properties of nanoparticle

An Essential Role of the Cytoplasmic Tail of CXCR4 in G-Protein Signaling and Organogenesis

CXCR4 regulates cell proliferation, enhances cell survival and induces chemotaxis, yet molecular mechanisms underlying its signaling remain elusive. Like all other G-protein coupled receptors (GPCRs), CXCR4 delivers signals through G-protein-dependent and -independent pathways, the latter involving its serine-rich cytoplasmic tail. To evaluate the signaling and biological contribution of this G-protein-independent pathway, we generated mutant mice that express cytoplasmic tail-truncated CXCR4 (ΔT) by a gene knock-in approach. We found that ΔT mice exhibited multiple developmental defects, with not only G-protein-independent but also G-protein-dependent signaling events completely abolished, despite ΔT's ability to still associate with G-proteins. These results reveal an essential positive regulatory role of the cytoplasmic tail in CXCR4 signaling and suggest the tail is crucial for mediating G-protein activation and initiating crosstalk between G-protein-dependent and G-protein-independent pathways for correct GPCR signaling

Women's knowledge and attitudes regarding alcohol consumption in pregnancy: a national survey

Background. Alcohol exposure in pregnancy is a common and modifiable risk factor for poor pregnancy and child outcomes. Alcohol exposure in pregnancy can cause a range of physical and neurodevelopmental problems in the child including the Fetal Alcohol Spectrum Disorders (FASD). In order to improve prevention strategies, we sought to describe the knowledge and attitudes of women of childbearing age regarding alcohol consumption during pregnancy and its effects on the fetus.Methods. We conducted a national cross-sectional survey via computer assisted telephone interview of 1103 Australian women aged 18 to 45 years. Participants were randomly selected from the Electronic White Pages. Pregnant women were not eligible to participate. Quotas were set for age groups and a minimum of 100 participants per state to ensure a national sample reflecting the population. The questionnaire was based on a Health Canada survey with additional questions constructed by the investigators. Descriptive statistics were calculated and logistic regression analyses were used to assess associations with participants' knowledge and attitudes.Results. Of women surveyed, 61.5% had heard about effects of alcohol on the fetus and 55.3% had heard of Fetal Alcohol Syndrome. Although 92.7% agreed alcohol can affect the unborn child, 16.2% did not agree that the disabilities could be lifelong. Most women agreed that pregnant women should not drink alcohol (80.2%) and 79.2% reported having negative feelings towards pregnant women drinking alcohol. Women with higher education levels were more likely to know the effects of alcohol consumption in pregnancy (adjusted OR 5.62; 95% CI 3.20 to 9.87) but education level and knowledge were not associated with attitude.Conclusions. There was a disjunction between knowledge and attitudes towards alcohol consumption in pregnancy. These findings will assist in developing effective health promotion campaigns to reduce fetal alcohol exposure and subsequent fetal damage

FGF Signaling Pathway in the Developing Chick Lung: Expression and Inhibition Studies

Background: Fibroblast growth factors (FGF) are essential key players during embryonic development. Through their specific cognate receptors (FGFR) they activate intracellular cascades, finely regulated by modulators such as Sprouty. Several FGF ligands (FGF1, 2, 7, 9, 10 and 18) signaling through the four known FGFRs, have been implicated in lung morphogenesis. Although much is known about mammalian lung, so far, the avian model has not been explored for lung studies. Methodology/Principal Findings: In this study we provide the first description of fgf10, fgfr1-4 and spry2 expression patterns in early stages of chick lung development by in situ hybridization and observe that they are expressed similarly to their mammalian counterparts. Furthermore, aiming to determine a role for FGF signaling in chick lung development, in vitro FGFR inhibition studies were performed. Lung explants treated with an FGF receptor antagonist (SU5402) presented an impairment of secondary branch formation after 48 h of culture; moreover, abnormal lung growth with a cystic appearance of secondary bronchi and reduction of the mesenchymal tissue was observed. Branching and morphometric analysis of lung explants confirmed that FGFR inhibition impaired branching morphogenesis and induced a significant reduction of the mesenchyme. Conclusions/Significance: This work demonstrates that FGFRs are essential for the epithelial-mesenchymal interactions tha

Rastreamento de uso de álcool por gestantes de serviços públicos de saúde do Rio de Janeiro

OBJECTIVE: To assess the prevalence of suspected cases of alcohol use during pregnancy in women seeking care in public health services. METHODS: Cross-sectional study comprising 537 women randomly selected in public maternity hospitals in Rio de Janeiro, Southeastern Brazil, from March to October 2000. A well-trained team of female interviewers used the instruments Cut-down, Annoyed, Guilty, Eye-opener (CAGE), Tolerance Cut-down, Annoyed, Eye-opener (T-ACE) and Tolerance Worry Eye-opener Annoyed Cut-down (TWEAK) to assess suspect cases of alcohol misuse. The Chi-square test was used in the analysis according to socioeconomic and demographic variables. RESULTS: About 40% of women informed having used any type of alcoholic beverage during pregnancy. Beer was the most frequently used drink (83.9%). Depending on the measurement instrument used, estimates of alcohol misuse varied from 7.3% to 26.1%. Suspected cases of alcohol abuse were more common among non-white, older and less educated women; those not living with a partner; those reporting use of tobacco and illicit drugs either by one or both partners in a couple; and those with little social support. CONCLUSIONS: High prevalence of suspected alcohol misuse and its overlapping with several risk factors for adverse pregnancy outcomes indicate this is an important issue of public health concern requiring continuous screening during prenatal care.OBJETIVO: Avaliar a prevalência de casos suspeitos de uso inadequado de álcool durante a gestação entre mulheres atendidas na rede pública de saúde. MÉTODOS: Estudo transversal com 537 parturientes selecionadas aleatoriamente em maternidades públicas do Rio de Janeiro entre março e outubro de 2000. Entrevistadoras adequadamente treinadas identificaram os casos suspeitos de uso inadequado de álcool utilizando os instrumentos Cut-down, Annoyed, Guilty e Eye-opener (CAGE), Tolerance Cut-down, Annoyed e Eye-opener (T-ACE) e Tolerance Worry Eye-opener Annoyed Cut-down (TWEAK). Na análise segundo variáveis socioeconômicas e demográficas utilizou-se o teste qui-quadrado. RESULTADOS: Cerca de 40% das mulheres relataram fazer uso de algum tipo de bebida alcoólica durante a gestação, sendo a cerveja a bebida mais consumida (83,9%). Dependendo do instrumento de identificação, estimou-se que entre 7,3% e 26,1% das mulheres eram casos suspeitos de uso inadequado de álcool. A suspeição de utilização inadequada foi mais comum entre as mulheres de idade mais avançada; de baixa escolaridade; que não se declararam brancas; que não viviam com companheiro; que relataram tabagismo e uso de drogas ilícitas por um dos membros do casal; e com pouco apoio social. CONCLUSÕES: A alta prevalência de suspeição de uso inadequado de álcool e sua superposição com diferentes fatores de risco para desfechos deletérios na gestação indicam um importante problema de saúde pública, merecendo ser rotineiramente rastreada durante o acompanhamento pé-natal

The Extracellular Matrix Component Psl Provides Fast-Acting Antibiotic Defense in Pseudomonas aeruginosa Biofilms

Bacteria within biofilms secrete and surround themselves with an extracellular matrix, which serves as a first line of defense against antibiotic attack. Polysaccharides constitute major elements of the biofilm matrix and are implied in surface adhesion and biofilm organization, but their contributions to the resistance properties of biofilms remain largely elusive. Using a combination of static and continuous-flow biofilm experiments we show that Psl, one major polysaccharide in the Pseudomonas aeruginosa biofilm matrix, provides a generic first line of defense toward antibiotics with diverse biochemical properties during the initial stages of biofilm development. Furthermore, we show with mixed-strain experiments that antibiotic-sensitive “non-producing” cells lacking Psl can gain tolerance by integrating into Psl-containing biofilms. However, non-producers dilute the protective capacity of the matrix and hence, excessive incorporation can result in the collapse of resistance of the entire community. Our data also reveal that Psl mediated protection is extendible to E. coli and S. aureus in co-culture biofilms. Together, our study shows that Psl represents a critical first bottleneck to the antibiotic attack of a biofilm community early in biofilm development.National Institutes of Health (U.S.). National Institute of Environmental Health Sciences (Training Grant in Toxicology 5 T32 ES7020-37

Genetic diversity and population structure of Glossina pallidipes in Uganda and western Kenya

<p>Abstract</p> <p>Background</p> <p><it>Glossina pallidipes </it>has been implicated in the spread of sleeping sickness from southeastern Uganda into Kenya. Recent studies indicated resurgence of <it>G. pallidipes </it>in Lambwe Valley and southeastern Uganda after what were deemed to be effective control efforts. It is unknown whether the <it>G. pallidipes </it>belt in southeastern Uganda extends into western Kenya. We investigated the genetic diversity and population structure of <it>G. pallidipes </it>in Uganda and western Kenya.</p> <p>Results</p> <p>AMOVA indicated that differences among sampling sites explained a significant proportion of the genetic variation. Principal component analysis and Bayesian assignment of microsatellite genotypes identified three distinct clusters: western Uganda, southeastern Uganda/Lambwe Valley, and Nguruman in central-southern Kenya. Analyses of mtDNA confirmed the results of microsatellite analysis, except in western Uganda, where Kabunkanga and Murchison Falls populations exhibited haplotypes that differed despite homogeneous microsatellite signatures. To better understand possible causes of the contrast between mitochondrial and nuclear markers we tested for sex-biased dispersal. Mean pairwise relatedness was significantly higher in females than in males within populations, while mean genetic distance was lower and relatedness higher in males than females in between-population comparisons. Two populations sampled on the Kenya/Uganda border, exhibited the lowest levels of genetic diversity. Microsatellite alleles and mtDNA haplotypes in these two populations were a subset of those found in neighboring Lambwe Valley, suggesting that Lambwe was the source population for flies in southeastern Uganda. The relatively high genetic diversity of <it>G. pallidipes </it>in Lambwe Valley suggest large relict populations remained even after repeated control efforts.</p> <p>Conclusion</p> <p>Our research demonstrated that <it>G. pallidipes </it>populations in Kenya and Uganda do not form a contiguous tsetse belt. While Lambwe Valley appears to be a source population for flies colonizing southeastern Uganda, this dispersal does not extend to western Uganda. The complicated phylogeography of <it>G. pallidipes </it>warrants further efforts to distinguish the role of historical and modern gene flow and possible sex-biased dispersal in structuring populations.</p